#z = x + y 
while x not 0 do;
	decr x;
	incr z;
end;

while y not 0 do;
	decr y;
	incr z;
end;
